Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
531	Logic and Complexity in Cognitive Science Alistair M. C. Isaac and Jakub Szymanik and Rineke Verbrugge 1 Introduction How can logic help us to understand cognition? One answer is provided by the computational perspective Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-06-04 10:35:06 Computational neuroscience Cognitive science Cognition Interdisciplinary fields Abstraction Logic Connectionism Artificial neural network Neural network Science Ethology Knowledge
532	Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-13 09:14:28 Complexity classes Finite model theory Graph connectivity Game theory FO Reachability P Extensive-form game Tree Theoretical computer science Graph theory Mathematics
533	10th International Society for Music Information Retrieval Conference (ISMIR[removed]EVALUATION OF ALGORITHMS USING GAMES: THE CASE OF MUSIC TAGGING Edith Law CMU Add to Reading List Source URL: ismir2009.ismir.net Language: English - Date: 2014-01-23 13:04:38 Algorithm Mathematical logic Theoretical computer science Computational linguistics Music information retrieval Human-based computation Mathematics Information science Science Information retrieval
534	Experiments as Research Validation – Have We Gone too Far? Jeffrey D. Ullman, July 9, 2013 I recently submitted a paper to VLDB, and when I got the reviews back, I noticed that the review form now has a question refere Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-07-09 20:51:24 Sorting algorithms Computational complexity theory Analysis of algorithms Algorithm Mathematical logic Bubble sort Time complexity MapReduce Quicksort Theoretical computer science Mathematics Applied mathematics
535	Bibliography The following abbreviations are used for frequently cited conferences and journals: AAAI AAMAS ACL AIJ Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2009-11-06 17:27:19 Computational linguistics Year of birth missing Logic programming Computational learning theory Word-sense disambiguation Naive Bayes classifier Reason maintenance Cyc Data stream mining Science Artificial intelligence Statistics
536	On the Incompressibility of Monotone DNFs Matthias P. Krieger∗ Johann Wolfgang Goethe-Universit¨at Frankfurt am Main Institut f¨ ur Informatik Lehrstuhl f¨ Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2010-11-03 11:40:59 Circuit complexity Computational complexity theory Boolean algebra Complexity classes Implicant Logic in computer science Boolean circuit Circuit ACC0 Theoretical computer science Mathematics Applied mathematics
537	Fairplay — A Secure Two-Party Computation System Dahlia Malkhi1 , Noam Nisan1 , Benny Pinkas2 , and Yaron Sella1 1 The School of Computer Science and Engineering The Hebrew University of Jerusalem Add to Reading List Source URL: www.pinkas.net Language: English - Date: 2004-07-02 10:26:47 Digital circuits Cryptographic protocols Mathematics Computational complexity theory Secure multi-party computation Boolean circuit Multiplexer Circuit Boolean algebra Theoretical computer science Computing Algebraic logic
538	Microsoft PowerPoint - Artificial Intelligence in the Oilfield May-1990.ppt Add to Reading List Source URL: www.reidgsmith.com Language: English - Date: 2013-05-22 10:50:48 Knowledge Dipmeter Advisor Petroleum Computational neuroscience Expert system Schlumberger MIT Computer Science and Artificial Intelligence Laboratory Dendral Logic programming Artificial intelligence Science Turing Award laureates
539	Objects and their computational framework† V.E.Wolfengagen‡ arXiv:cs.LO[removed]Jun[removed]Vorotnikovsky per., 7, bld. 4 Add to Reading List Source URL: www.wolfengagen.mephi.ru Language: English - Date: 2004-02-05 01:57:51 Applied mathematics Combinatory logic Symbol Cartesian closed category Fixed-point combinator Spectral theory of ordinary differential equations Lambda calculus Theoretical computer science Mathematics
540	Measuring Empirical Computational Complexity by Simon Fredrick Goldsmith B.S. (Carnegie Mellon University) 2001 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2009-01-06 01:58:33 Mathematics Computational complexity theory Scalability Benchmark A New Kind of Science Computer science Economic model Applied mathematics Computing Algorithm Mathematical logic Theoretical computer science

UPDATE